Skip to content

Conversation

@yvan-sraka
Copy link
Collaborator

GitHub merge queues prevent a family of breakage that this schema stolen from Bors explains perfectly.

It happens recently in this repo, when merging #1668, the PR tests were green, but the exact same check failed when merged into develop. Merge queues basically just invert those steps, running first the checks on merged code, and then updating the develop branch (without then needing to rerun the tests afterward).

This PR adds the needed workflow event, but this requires also some admin steps: Settings => Branches => Branch protection rules (create or update one for develop); Check the "Require merge queue" box and (higher in the settings page) in "Require status checks to pass before merging" the workflow needed to pass before merging needs to be listed; save your changes.

n.b. I should mention that I'm personally more used to Bors and would like to dive a bit deeper into subtle differences in merge queues design.

@yvan-sraka yvan-sraka requested review from jfroche and samrose October 21, 2025 09:04
@yvan-sraka yvan-sraka self-assigned this Oct 21, 2025
@yvan-sraka yvan-sraka requested review from a team as code owners October 21, 2025 09:04
@yvan-sraka yvan-sraka force-pushed the feat/enable-gh-merge-queues branch from d261a21 to f2c0ad4 Compare October 28, 2025 13:27
@yvan-sraka yvan-sraka requested a review from jfroche October 28, 2025 13:43
@samrose samrose merged commit cc97375 into develop Oct 31, 2025
14 checks passed
@samrose samrose deleted the feat/enable-gh-merge-queues branch October 31, 2025 13:16
hunleyd added a commit that referenced this pull request Oct 31, 2025
* origin:
  feat: enable GitHub merge queues (#1849)
hunleyd added a commit that referenced this pull request Oct 31, 2025
* origin:
  feat: enable GitHub merge queues (#1849)
yvan-sraka added a commit that referenced this pull request Oct 31, 2025
yvan-sraka added a commit that referenced this pull request Oct 31, 2025
... in "Release Migrations - Staging / build (push)" workflow  following-up #1849

Follow-up #1849
github-merge-queue bot pushed a commit that referenced this pull request Oct 31, 2025
… / build (push)" workflow (#1884)

* fix: change trigger to merge_group

... in "Release Migrations - Staging / build (push)" workflow  following-up #1849

Follow-up #1849

* Rename build job to release-migrations-staging
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants